Categorial generalization of algebraic recursion theory
نویسندگان
چکیده
منابع مشابه
Recursion-Closed Algebraic Theories
A class of algebraic theories called “recursion-closed,” which generalize the rational theories studied by J. A. Goguen, J. W. Thatcher, E.G. Wagner and J. B. Wright in [in “Proceedings, 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, October 1976,” pp. 147-158; in “Mathematical Foundations of Computer Science, 1978,” Lecture Notes in Computer Science, Vol. 64, Springer-...
متن کاملAn Algebraic Treatment of Recursion
Jan Bergstra has put his mark on theoretical computer science by a consistent stream of original ideas, controversial opinions, and novel approaches. He sometimes reorganised the arena, enabling others to follow. I, for one, might never have entered computer science if it wasn’t for Jan’s support and encouragement, and will never forget the team spirit in the early days of process algebra in hi...
متن کاملCategorial grammar, modalities and algebraic semantics
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Mor-rill [1990], proof-theoretic ideas of Venema [1993b; 1993a] and the theory of equational specifications, a class of resource-preserving logics is defined, for which decidability and completeness theorems are established.
متن کاملA 2-categorial Generalization of the Concept of Institution
After defining, for each many-sorted signature Σ = (S,Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for TΣ, the monad in Set determined by the adjunctionTΣ ⊣ GΣ from Set toAlg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d⋄ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively...
متن کاملAlgebraic generalization of quantum statistics
Generalized quantum statistics such as para-Bose and para-Fermi statistics are related to the basic classical Lie superalgebras B(0|n) and Bn. We give a quite general definition of “a generalized quantum statistics associated to a Lie superalgebra G”. This definition is closely related to a certain Z-grading of G. The generalized quantum statistics is determined by a set of root vectors (the cr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1995
ISSN: 0022-4049
DOI: 10.1016/0022-4049(93)e0184-6